Groz, M.M.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Drafting arbitration clauses for IP agreements

Rohn, P., Groz, P.

Journal:

Journal of Intellectual Property Law & Practice

Year:

2012

Language:

english

File:

PDF, 116 KB

english, 2012

2

[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation - Finding Software Vulnerabilities by Smart Fuzzing

Bekrar, Sofia, Bekrar, Chaouki, Groz, Roland, Mounier, Laurent

Year:

2011

Language:

english

File:

PDF, 215 KB

english, 2011

3

[IEEE 2013 20th Working Conference on Reverse Engineering (WCRE) - Koblenz, Germany (2013.10.14-2013.10.17)] 2013 20th Working Conference on Reverse Engineering (WCRE) - LigRE: Reverse-engineering of control and data flow models for black-box XSS detection

Duchene, Fabien, Rawat, Sanjay, Richier, Jean-Luc, Groz, Roland

Year:

2013

Language:

english

File:

PDF, 780 KB

english, 2013

4

[IEEE Comput. Soc. Press International Conference on Network Protocols - Tokyo, Japan (7-10 Nov. 1995)] Proceedings of International Conference on Network Protocols - Validation of distributed algorithms and protocols

Qiang Gao,, Groz, R., von Bochmann, G., Dargham, J., Htite, E.H.

Year:

1995

Language:

english

File:

PDF, 870 KB

english, 1995

5

Il n’y a pas de limite d’âge pour le diagnostic d’hémoglobinurie paroxystique nocturne

Groz, P., Gaudré, N., Mouly, S., Bergmann, J.F.

Journal:

La Revue de Médecine Interne

Year:

2018

Language:

french

File:

PDF, 234 KB

french, 2018

6

[IEEE 2019 6th International Conference on Control, Decision and Information Technologies (CoDIT) - Paris, France (2019.4.23-2019.4.26)] 2019 6th International Conference on Control, Decision and Information Technologies (CoDIT) - A Review of Intrusion Detection Systems for Industrial Control Systems

Kaouk, Mohamad, Flaus, Jean-Marie, Potet, Marie-Laure, Groz, Roland

Year:

2019

Language:

english

File:

PDF, 884 KB

english, 2019

7

Estimation of Thermal Resistance Field in Layered Materials by Analytical Asymptotic Method

Groz, Marie-Marthe, Bensalem, Mohamed, Sommier, Alain, Abisset-Chavanne, Emmanuelle, Chevalier, StÃ©phane, Chulkov, Arsenii, Battaglia, Jean-Luc, Batsale, Jean-Christophe, Pradere, Christophe

Journal:

Applied Sciences

Year:

2020

File:

PDF, 17.72 MB

2020

8

Three-Dimensional Reconstruction of Thermal Volumetric Sources from Surface Temperature Fields Measured by Infrared Thermography

Groz, Marie-Marthe, Abisset-Chavanne, Emmanuelle, Meziane, Anissa, Sommier, Alain, PradÃ¨re, Christophe

Journal:

Applied Sciences

Year:

2019

File:

PDF, 2.25 MB

2019

9

Attacking a complex distributed algorithm from different sides: an experience with complementary validation tools

Roland Groz, Claude Jard, Claire Lassudrie

Journal:

Computer Networks and ISDN Systems

Year:

1985

Language:

english

File:

PDF, 1000 KB

english, 1985

10

Can a Model Checker Generate Tests for Non-Deterministic Systems?

Sergiy Boroday, Alexandre Petrenko, Roland Groz

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 333 KB

english, 2007

11

[IEEE 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST) - Montreal, QC, Canada (2012.04.17-2012.04.21)] 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation - A Taint Based Approach for Smart Fuzzing

Bekrar, Sofia, Bekrar, Chaouki, Groz, Roland, Mounier, Laurent

Year:

2012

Language:

english

File:

PDF, 204 KB

english, 2012

12

Confirming configurations in EFSM testing

Petrenko, A., Boroday, S., Groz, R.

Journal:

IEEE Transactions on Software Engineering

Year:

2004

Language:

english

File:

PDF, 611 KB

english, 2004

13

Mikrogyrie und Balkenmangel im menschlichen Gehirn

Journal:

European Archives of Psychiatry and Clinical Neuroscience

Year:

1909

Language:

german

File:

PDF, 934 KB

german, 1909

14

Utilisation de techniques de description formelle (TDF) pour la spécification de logiciels de commutation

Isabelle Dinsenmeyer, Olivier Louvet, Roland Groz

Journal:

annals of telecommunications - annales des télécommunications

Year:

1987

File:

PDF, 1.11 MB

1987

15

Gentamicin causes the fast depression of action potential and contraction in cultured cardiocytes

Brigitte De la Chapelle-Groz, Pierre Athias

Journal:

European Journal of Pharmacology

Year:

1988

Language:

english

File:

PDF, 789 KB

english, 1988

16

Development of Veda, a prototyping tool for distributed algorithms

Jard, C., Monin, J.-F., Groz, R.

Journal:

IEEE Transactions on Software Engineering

Year:

1988

Language:

english

File:

PDF, 1.47 MB

english, 1988

17

On the preparation of XeF2

P. Gróz, I. Kiss, A. Révész, T. Sipos

Journal:

Journal of Inorganic and Nuclear Chemistry

Year:

1966

Language:

english

File:

PDF, 120 KB

english, 1966

18

Production of 125I from pile-irradiated xenon difluoride

I. Kiss, P. Gróz, A. Révész, T. Sipos

Journal:

Journal of Inorganic and Nuclear Chemistry

Year:

1969

Language:

english

File:

PDF, 196 KB

english, 1969

19

[Lecture Notes in Computer Science] Testing of Communicating Systems Volume 2978 || Generation of Optimized Testsuites for UML Statecharts with Time

Groz, Roland, Hierons, Robert M.

Year:

2004

Language:

english

File:

PDF, 522 KB

english, 2004

20

[IEEE 31st Annual International Computer Software and Applications Conference - Vol. 2 - (COMPSAC 2007) - Beijing, China (2007.07.24-2007.07.27)] 31st Annual International Computer Software and Applications Conference - Vol. 2 - (COMPSAC 2007) - Test Generation from Security Policies Specified in Or-BAC

Li, Keqin, Mounier, Laurent, Groz, Roland

Year:

2007

Language:

english

File:

PDF, 251 KB

english, 2007

21

Detection of emerging contaminants (UV filters, UV stabilizers and musks) in marine mussels from Portuguese coast by QuEChERS extraction and GC–MS/MS

Picot Groz, M., Martinez Bueno, M.J., Rosain, D., Fenet, H., Casellas, C., Pereira, C., Maria, V., Bebianno, M.J., Gomez, E.

Journal:

Science of The Total Environment

Year:

2014

Language:

english

File:

PDF, 1.16 MB

english, 2014

22

[IEEE 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering (HASE) - Miami Beach, FL, USA (2014.01.9-2014.01.11)] 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering - Inferring Approximated Models for Systems Engineering

Petrenko, Alexandre, Li, Keqin, Groz, Roland, Hossen, Karim, Oriat, Catherine

Year:

2014

Language:

english

File:

PDF, 263 KB

english, 2014

23

[IEEE 2013 IEEE Symposium on Computational Intelligence in Cyber Security (CICS) - Singapore, Singapore (2013.04.16-2013.04.19)] 2013 IEEE Symposium on Computational Intelligence in Cyber Security (CICS) - Evolving indigestible codes: Fuzzing interpreters with genetic programming

Rawat, Sanjay, Duchene, Fabien, Groz, Roland, Richier, Jean-Luc

Year:

2013

Language:

english

File:

PDF, 140 KB

english, 2013

24

[IEEE 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Test generation and execution for security rules in temporal logic

Darmaillacq, Vianney, Richier, Jean-Luc, Groz, Roland

Year:

2008

Language:

english

File:

PDF, 254 KB

english, 2008

25

Static analysis of XML security views and query rewriting

Groz, Benoît, Staworko, Sławomir, Caron, Anne-Cecile, Roos, Yves, Tison, Sophie

Journal:

Information and Computation

Year:

2014

Language:

english

File:

PDF, 845 KB

english, 2014

26

Analysis and testing of black-box component-based systems by inferring partial models

Shahbaz, Muzammil, Groz, Roland

Journal:

Software Testing, Verification and Reliability

Year:

2014

Language:

english

File:

PDF, 1.43 MB

english, 2014

27

[IEEE 31st Annual International Computer Software and Applications Conference - Vol. 2 - (COMPSAC 2007) - Beijing, China (2007.07.24-2007.07.27)] 31st Annual International Computer Software and Applications Conference - Vol. 2 - (COMPSAC 2007) - Learning Parameterized State Machine Model for Integration Testing

Shahbaz, Muzammil, Li, Keqin, Groz, Roland

Year:

2007

Language:

english

File:

PDF, 207 KB

english, 2007

28

[IEEE 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - OH, USA (2014.3.31-2014.4.4)] 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops - Automatic Model Inference of Web Applications for Security Testing

Hossen, Karim, Groz, Roland, Oriat, Catherine, Richier, Jean-Luc

Year:

2014

Language:

english

File:

PDF, 270 KB

english, 2014

29

[IEEE 1998 IEEE MTT-S International Microwave Symposium Digest (Cat. No.98CH36192) - Baltimore, MD, USA (7-12 June 1998)] 1998 IEEE MTT-S International Microwave Symposium Digest (Cat. No.98CH36192) - Optically powered remote optical field sensor system using an electroabsorption-modulator

Heinzelmann, R., Stohr, A., Groz, M., Kalinowski, D., Alder, T., Schmidt, M., Idger, D.

Year:

1998

Language:

english

File:

PDF, 472 KB

english, 1998

30

[IEEE 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops - Automatic Generation of Test Drivers for Model Inference of Web Applications

Hossen, Karim, Groz, Roland, Oriat, Catherine, Richier, Jean-Luc

Year:

2013

Language:

english

File:

PDF, 223 KB

english, 2013

31

[IEEE 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation - A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information

Grasland, Yves, du Bousquet, Lydie, Groz, Roland, Parissis, Ioannis

Year:

2013

Language:

english

File:

PDF, 282 KB

english, 2013

32

Integration testing of communicating systems with unknown components

Groz, Roland, Li, Keqin, Petrenko, Alexandre

Journal:

annals of telecommunications - annales des télécommunications

Year:

2015

Language:

english

File:

PDF, 2.65 MB

english, 2015

33

[IEEE Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06) - Windsor, UK (29-31 Aug. 2006)] Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06) - Integration Testing of Components Guided by Incremental State Machine Learning

Keqin Li,, Groz, R., Shahbaz, M.

Year:

2006

Language:

english

File:

PDF, 313 KB

english, 2006

34

[IEEE 2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering and Reverse Engineering (CSMR-WCRE) - Antwerp, Belgium (2014.02.3-2014.02.6)] 2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE) - Model inference and security testing in the spacios project

Buchler, Matthias, Hossen, Karim, Mihancea, Petru Florin, Minea, Marius, Groz, Roland, Oriat, Catherine

Year:

2014

Language:

english

File:

PDF, 197 KB

english, 2014

35

[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops - Security Vulnerabilities Detection Using Model Inference for Applications and Security Protocols

Hossen, K., Groz, R., Richier, J.L.

Year:

2011

Language:

english

File:

PDF, 221 KB

english, 2011

36

[IEEE 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST) - Montreal, QC, Canada (2012.04.17-2012.04.21)] 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation - XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing

Duchene, Fabien, Groz, Roland, Rawat, Sanjay, Richier, Jean-Luc

Year:

2012

Language:

english

File:

PDF, 312 KB

english, 2012

37

[ACM Press the 4th ACM conference - San Antonio, Texas, USA (2014.03.03-2014.03.05)] Proceedings of the 4th ACM conference on Data and application security and privacy - CODASPY '14 - KameleonFuzz

Duchene, Fabien, Rawat, Sanjay, Richier, Jean-Luc, Groz, Roland

Year:

2014

Language:

english

File:

PDF, 555 KB

english, 2014

38

[ACM Press the First International Workshop - Trento, Italy (2010.07.13-2010.07.13)] Proceedings of the First International Workshop on Model Inference In Testing - MIIT '10 - Angluin style finite state machine inference with non-optimal counterexamples

Irfan, Muhammad Naeem, Oriat, Catherine, Groz, Roland

Year:

2010

Language:

english

File:

PDF, 1.01 MB

english, 2010

39

Status and Distribution of Fea's Petrel, Bulwer's Petrel, Manx Shearwater, Little Shearwater and Band-Rumped Storm-Petrel in the Azores Archipelago

L. R. Monteiro, J. A. Ramos, J. C. Pereira, P. R. Monteiro, R. S. Feio, D. R. Thompson, S. Bearhop, R. W. Furness, M. Laranjo, G. Hilton, V. C. Neves, M. P. Groz and K. R. Thompson

Journal:

Year:

1999

Language:

english

File:

PDF, 1.31 MB

english, 1999

40

[Lecture Notes in Computer Science] Testing of Communicating Systems Volume 2978 || Mutation Testing Applied to Validate SDL Specifications

Groz, Roland, Hierons, Robert M.

Year:

2004

Language:

english

File:

PDF, 211 KB

english, 2004

41

AIP Conference Proceedings [AIP FRONTIERS OF CHARACTERIZATION AND METROLOGY FOR NANOELECTRONICS: 2011 - Grenoble (France) (23–26 May 2011)] - Analysis of the Noble Metals on Silicon Wafers by Chemical Collection and ICPMS

Fontaine, H., Hureau, D., Groz, M., Despois, D., Louis, C., Seiler, David G., Diebold, Alain C., McDonald, Robert, Chabli, Amal, Secula, Erik M.

Year:

2011

Language:

english

File:

PDF, 175 KB

english, 2011

42

[ACM Press the 1st International Workshop - Lausanne, Switzerland (2010.03.22-2010.03.26)] Proceedings of the 1st International Workshop on Data Semantics - DataSem '10 - The view update problem for XML

Staworko, Sławek, Boneva, Iovka, Groz, Benoît

Year:

2010

Language:

english

File:

PDF, 267 KB

english, 2010

43

[ACM Press the 32nd symposium - New York, New York, USA (2013.06.22-2013.06.27)] Proceedings of the 32nd symposium on Principles of database systems - PODS '13 - A trichotomy for regular simple path queries on graphs

Bagan, Guillaume, Bonifati, Angela, Groz, Benoit

Year:

2013

Language:

english

File:

PDF, 506 KB

english, 2013

44

[ACM Press the 34th ACM Symposium - Melbourne, Victoria, Australia (2015.05.31-2015.06.04)] Proceedings of the 34th ACM Symposium on Principles of Database Systems - PODS '15 - Skyline Queries with Noisy Comparisons

Groz, Benoit, Milo, Tova

Year:

2015

Language:

english

File:

PDF, 712 KB

english, 2015

45

[ACM Press the 14th International Conference - Uppsala, Sweden (2011.03.21-2011.03.24)] Proceedings of the 14th International Conference on Database Theory - ICDT '11 - View update translation for XML

Boneva, Iovka, Caron, Anne-Cécile, Groz, Benoît, Roos, Yves, Tison, Sophie, Staworko, Sławek

Year:

2011

Language:

english

File:

PDF, 760 KB

english, 2011

46

[ACM Press the 31st symposium - Scottsdale, Arizona, USA (2012.05.21-2012.05.23)] Proceedings of the 31st symposium on Principles of Database Systems - PODS '12 - Deterministic regular expressions in linear time

Groz, Benotît, Maneth, Sebastian, Staworko, Slawek

Year:

2012

Language:

english

File:

PDF, 545 KB

english, 2012

47

Status, ecology, behaviour and conservation of Raso Lark Alauda razae

Donald, Paul F., De Ponte, Marta, Pitta Groz, Maria J., Taylor, Roy

Journal:

Bird Conservation International

Year:

2003

Language:

english

File:

PDF, 276 KB

english, 2003

48

[ACM Press the 5th Program Protection and Reverse Engineering Workshop - Los Angeles, CA, USA (2015.12.08-2015.12.08)] Proceedings of the 5th Program Protection and Reverse Engineering Workshop on - PPREW-5 - Lightweight heuristics to retrieve parameter associations from binaries

de Goër, Franck, Groz, Roland, Mounier, Laurent

Year:

2015

Language:

english

File:

PDF, 434 KB

english, 2015

49

Exposure of marine mussels to diclofenac: modulation of prostaglandin biosynthesis

Courant, Frédérique, Arpin-Pont, Lauren, Bonnefille, Bénilde, Vacher, Sébastien, Picot-Groz, Marina, Gomez, Elena, Fenet, Hélène

Journal:

Environmental Science and Pollution Research

Year:

2017

Language:

english

File:

PDF, 955 KB

english, 2017

50

Efficient testing and matching of deterministic regular expressions

Groz, B., Maneth, S.

Journal:

Journal of Computer and System Sciences

Year:

2017

Language:

english

File:

PDF, 1.63 MB

english, 2017